Formal description techniques and protocol specification, testing and verification - FORTE XI/PSTV XVIII'98
- Författare
- Stan Budkowski Testing and Verification (1998 : Paris) IFIP TC6 WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification
- (IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November 1998, Paris, France edited by Stan Budkowski .., Includes bibliographical references and index)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Kluwer Academic Publishers | cop. 1998 | Storbritannien, Boston | viii, 467 sidor. ill. 24 cm |